P`↓⊂πxλ p↓`H↔H8mYQqp≤∧∃λU@⊂∃λU@*↓PiU⊂@λ`¬DDεL
∧λDDα@↓DεD↓DεD↓DλL↓Ph∂∂∂L∂L
H
λ 			0		4L↓A@	↓HεH	 `∞∧∞DεD@
H⊂
L⊃h	L 	_@X@εL
L⊃@→→	_εe 
h ⊂λβQX
h	→	∀	∀	∀	∀	∀	∀	∀	∀	∀	∀
H
H 
\ εl
\ 
L⊃pεLD∃λ↓∧↓Dα∧∪XαDβ∧∩PβDD∧∧∧D¬∧∪¬D∃⊂ε∧DεD∪XαD∩ εD π∧∃λπD↓D∪ DDRPλ∧↓∩PD∪DS(λD
Yβ	
Y	
L
L⊃8	λ∀pπL∀@	H∀0πL	H
↓P⊂	λ"∃XπL∀
L
 ⊃x
LH∀πH∀	λ∀@πH ∀@λ λH⊂∀xπH∃λ⊃x↓H∩λλ ∩(	H	λ∧⊃`∞H∧			βCn⊂β-
8β6mXβMN8β≤lpβL0βZNh↓`'α;)pβT∞Pα|+p∧%1_βW.`β=-xαU*X∧f3_αukXα4iPα∀(P↓Cε⊂↓2eHαE
_βwo`↓sgP↓wπ`βαlλα$I⊂∧≡px∧Y2hαeK_∧_0`↓S&Pα]:x↓[6pαcG⊂α:uhαIz(βαα
~8αCε⊂:uh↓D1`αACλα:AhcG⊂≤8p1cH↓Cε⊂W∞ ⊂ @αlλ&M_λ⊂ ∧p⊂∧'(
8⊂ @≠⊂@∪⊂λ~ `→@X≠h	p⊂∂p⊂λ0⊂
0⊂↔0⊂~⊂⊂~p⊂@_P⊂~ p≠x	p⊂∂p⊂λ0⊂
0⊂↔0⊂~⊂⊂~p⊂@_P⊂@_¬`	`α⊂∂p_@λ0_@ πX@ π`@_β`@_βp_0 _0(≠p(→0(@_p(⊂00_0(≠p(→0(P0@⊂0⊂08≠p0→00_00≥00≤P0∪p(⊂p(⊃p(@∀0(≡0(≥00≤P0≠p0→00_00@⊂00⊂0(∃p(⊗0(∃P(@⊗⊂(≥⊂(≥0(_P(≡0(≥p(@≥P(~⊂(@~p(→0@≠p@_p@→⊂@≤0@≡⊂(≥P(≡0(@≥p(≥⊂(∃⊂0∪p(∃0(⊂p(∃p8⊗00⊃p(∃P8@∀0(@~P(␈}M~8␈}69X&M_Aαλ␈␈←?␈␈o←@␈␈O≡@␈␈>⎇x⊂ @↓S&PaCλAαλ↓[6p∧iS(Aαλ